mcs-ie: Comparison of hex Rewritings
نویسنده
چکیده
This manuscript gives two possible rewritings from the mcsie system input language to hex programs, and compares them with respect to efficiency of evaluation in dlvhex.
منابع مشابه
تأثیر هگزاکونازول بر خصوصیات کمی و کیفی دو رقم سویا در شرایط تنش کمآبی
In order to investigate the effect of Hexaconazole (HEX) on quantitative and qualitative characteristics of two soybean (Glycine max L.) cultivars under water deficit stress, an experiment was conducted in the Faculty of Agriculture of Tarbiat Modares University in the year 2010-2011 as a factorial experiment in randomized complete block design arrangement. Factors examined in this study were s...
متن کاملGene expression screening of human mast cells and eosinophils using high-density oligonucleotide probe arrays: abundant expression of major basic protein in mast cells.
Mast cells (MCs) and eosinophils are thought to play important roles in evoking allergic inflammation. Cell-type--specific gene expression was screened among 12,000 genes in human MCs and eosinophils with the use of high-density oligonucleotide probe arrays. In comparison with other leukocytes, MCs expressed 140 cell-type--specific transcripts, whereas eosinophils expressed only 34. Among the t...
متن کاملMemory Architectures for NoC-Based Real-Time Mixed Criticality Systems
Mixed criticality systems (MCS) allow software components of differing criticalities to use the same physical resources (ie. CPU, memory). MCS highlight the trade-off between partitioning components of different criticalities and efficient resource usage. Components are partitioned due to safety concerns, but physical partitioning requires more resources than if components are unpartitioned and...
متن کاملThe activity of selected glycosidases in salivary gland tumors.
The monitoring of the patients after salivary gland tumors surgery is an important clinical issue. Still imperfect diagnostic procedures also remain a challenge for searching new sensitive and specific biomarkers of neoplastic processes in salivary glands. The aim of the presented study was an the assessment of the activity of HEX, with its isoforms HEX-A and HEX-B, GLU, GAL, MAN and FUC in sal...
متن کاملRelational Graph Rewritings
This note presents a new formalization of graph rewritings which generalizes traditional graph rewritings. Relational notions of graphs and their rewritings are introduced and several properties about graph rewritings are discussed using relational calculus (theory of binary relations). Single pushout approaches to graph rewritings proposed by Raoult and Kennaway are compared with our rewriting...
متن کامل